LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
نویسندگان
چکیده
منابع مشابه
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
A variant of realizability for Heyting arithmetic which validates Church’s thesis with uniqueness condition, but not the general form of Church’s thesis, was introduced by V. Lifschitz in [15]. A Lifschitz counterpart to Kleene’s realizability for functions (in Baire space) was developed by van Oosten [19]. In that paper he also extended Lifschitz’ realizability to second order arithmetic. The ...
متن کاملThe Complexity of Several Realizability Problems for Abstract Topological Graphs
topological graph (AT-graph): A = (G, R); G = (V, E) is a graph, R ⊆ ( E 2 ) in a topological graph T ... RT = set of crossing pairs of edges AT-graph A is realizable if there exists a topological graph T which is a drawing of G and RT = R. simply realizable ... T is simple rectilinearly realizable ... edges of T are straight-line segments weakly realizable ... RT ⊆ R Abstract topological graph...
متن کاملRealizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces ...
متن کاملInternal Lifschitz Tails
Many years ago, E. M. Lifschitz argued that the integrated density of states at the edge of the spectrum of a random system in v dimensions should vanish roughly as exp[ ( E Eo)-V/2]. The rigorous proof of Lifschitz tails is a problem that interested Mark Kac over a period of time (see, e.g., Refs. 2 and 3). During the period I knew Mark, ! invariably enjoyed my interactions with him, and I am ...
متن کاملSemirigid Construction of Topological Supergravities
We show how to construct topological N = 1 and 2 supergravity theories from appropriately constrained N = 3 and 4 ghost plus matter systems. In particular N = 4 susy is not needed to obtain the N = 1 topological theory. We give a description of the relevant supermoduli spaces which must be integrated to obtain the amplitudes of these theories, as well as explicit formulas for the ingredients en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2020
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2021.1